| emsoft | participants

Kohei Suenaga

EMSOFT 2025: 25th International Conference on Embedded Software

Efficient Black-Box Checking with Specification-Guided Abstraction

Tsubasa Matsumoto, Kazuki Watanabe, Kohei Suenaga, and Masaki Waga

EMSOFT 2023: 23rd International Conference on Embedded Software

Probabilistic Black-Box Checking via Active MDP Learning

Junya Shijubo, Masaki Waga, and Kohei Suenaga